Optimal. Leaf size=271 \[ -\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {e (12012 d-21583 e x)}{9009 d^{10} \left (d^2-e^2 x^2\right )^{3/2}}-\frac {e (36036 d-52175 e x)}{9009 d^{12} \sqrt {d^2-e^2 x^2}}-\frac {\sqrt {d^2-e^2 x^2}}{d^{12} x}+\frac {4 e \tanh ^{-1}\left (\frac {\sqrt {d^2-e^2 x^2}}{d}\right )}{d^{12}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.43, antiderivative size = 271, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 6, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {866, 1819,
821, 272, 65, 214} \begin {gather*} -\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {e (36036 d-52175 e x)}{9009 d^{12} \sqrt {d^2-e^2 x^2}}-\frac {\sqrt {d^2-e^2 x^2}}{d^{12} x}+\frac {4 e \tanh ^{-1}\left (\frac {\sqrt {d^2-e^2 x^2}}{d}\right )}{d^{12}}-\frac {e (12012 d-21583 e x)}{9009 d^{10} \left (d^2-e^2 x^2\right )^{3/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 65
Rule 214
Rule 272
Rule 821
Rule 866
Rule 1819
Rubi steps
\begin {align*} \int \frac {1}{x^2 (d+e x)^4 \left (d^2-e^2 x^2\right )^{7/2}} \, dx &=\int \frac {(d-e x)^4}{x^2 \left (d^2-e^2 x^2\right )^{15/2}} \, dx\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {\int \frac {-13 d^4+52 d^3 e x-83 d^2 e^2 x^2}{x^2 \left (d^2-e^2 x^2\right )^{13/2}} \, dx}{13 d^2}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}+\frac {\int \frac {143 d^4-572 d^3 e x+960 d^2 e^2 x^2}{x^2 \left (d^2-e^2 x^2\right )^{11/2}} \, dx}{143 d^4}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {\int \frac {-1287 d^4+5148 d^3 e x-8824 d^2 e^2 x^2}{x^2 \left (d^2-e^2 x^2\right )^{9/2}} \, dx}{1287 d^6}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}+\frac {\int \frac {9009 d^4-36036 d^3 e x+60666 d^2 e^2 x^2}{x^2 \left (d^2-e^2 x^2\right )^{7/2}} \, dx}{9009 d^8}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {\int \frac {-45045 d^4+180180 d^3 e x-278700 d^2 e^2 x^2}{x^2 \left (d^2-e^2 x^2\right )^{5/2}} \, dx}{45045 d^{10}}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {e (12012 d-21583 e x)}{9009 d^{10} \left (d^2-e^2 x^2\right )^{3/2}}+\frac {\int \frac {135135 d^4-540540 d^3 e x+647490 d^2 e^2 x^2}{x^2 \left (d^2-e^2 x^2\right )^{3/2}} \, dx}{135135 d^{12}}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {e (12012 d-21583 e x)}{9009 d^{10} \left (d^2-e^2 x^2\right )^{3/2}}-\frac {e (36036 d-52175 e x)}{9009 d^{12} \sqrt {d^2-e^2 x^2}}-\frac {\int \frac {-135135 d^4+540540 d^3 e x}{x^2 \sqrt {d^2-e^2 x^2}} \, dx}{135135 d^{14}}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {e (12012 d-21583 e x)}{9009 d^{10} \left (d^2-e^2 x^2\right )^{3/2}}-\frac {e (36036 d-52175 e x)}{9009 d^{12} \sqrt {d^2-e^2 x^2}}-\frac {\sqrt {d^2-e^2 x^2}}{d^{12} x}-\frac {(4 e) \int \frac {1}{x \sqrt {d^2-e^2 x^2}} \, dx}{d^{11}}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {e (12012 d-21583 e x)}{9009 d^{10} \left (d^2-e^2 x^2\right )^{3/2}}-\frac {e (36036 d-52175 e x)}{9009 d^{12} \sqrt {d^2-e^2 x^2}}-\frac {\sqrt {d^2-e^2 x^2}}{d^{12} x}-\frac {(2 e) \text {Subst}\left (\int \frac {1}{x \sqrt {d^2-e^2 x}} \, dx,x,x^2\right )}{d^{11}}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {e (12012 d-21583 e x)}{9009 d^{10} \left (d^2-e^2 x^2\right )^{3/2}}-\frac {e (36036 d-52175 e x)}{9009 d^{12} \sqrt {d^2-e^2 x^2}}-\frac {\sqrt {d^2-e^2 x^2}}{d^{12} x}+\frac {4 \text {Subst}\left (\int \frac {1}{\frac {d^2}{e^2}-\frac {x^2}{e^2}} \, dx,x,\sqrt {d^2-e^2 x^2}\right )}{d^{11} e}\\ &=-\frac {8 e (d-e x)}{13 \left (d^2-e^2 x^2\right )^{13/2}}-\frac {4 e (13 d-24 e x)}{143 d^2 \left (d^2-e^2 x^2\right )^{11/2}}-\frac {e (572 d-1103 e x)}{1287 d^4 \left (d^2-e^2 x^2\right )^{9/2}}-\frac {e (5148 d-10111 e x)}{9009 d^6 \left (d^2-e^2 x^2\right )^{7/2}}-\frac {e (12012 d-23225 e x)}{15015 d^8 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {e (12012 d-21583 e x)}{9009 d^{10} \left (d^2-e^2 x^2\right )^{3/2}}-\frac {e (36036 d-52175 e x)}{9009 d^{12} \sqrt {d^2-e^2 x^2}}-\frac {\sqrt {d^2-e^2 x^2}}{d^{12} x}+\frac {4 e \tanh ^{-1}\left (\frac {\sqrt {d^2-e^2 x^2}}{d}\right )}{d^{12}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.93, size = 193, normalized size = 0.71 \begin {gather*} \frac {\sqrt {d^2-e^2 x^2} \left (45045 d^{10}+546316 d^9 e x+1014094 d^8 e^2 x^2-700504 d^7 e^3 x^3-3157776 d^6 e^4 x^4-1301264 d^5 e^5 x^5+2748320 d^4 e^6 x^6+2496180 d^3 e^7 x^7-350000 d^2 e^8 x^8-1043500 d e^9 x^9-305920 e^{10} x^{10}\right )}{45045 d^{12} x (-d+e x)^3 (d+e x)^7}-\frac {8 e \tanh ^{-1}\left (\frac {\sqrt {-e^2} x}{d}-\frac {\sqrt {d^2-e^2 x^2}}{d}\right )}{d^{12}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1428\) vs.
\(2(239)=478\).
time = 0.16, size = 1429, normalized size = 5.27
method | result | size |
risch | \(-\frac {\sqrt {-e^{2} x^{2}+d^{2}}}{d^{12} x}-\frac {\sqrt {-\left (x +\frac {d}{e}\right )^{2} e^{2}+2 d e \left (x +\frac {d}{e}\right )}}{104 e^{6} d^{6} \left (x +\frac {d}{e}\right )^{7}}-\frac {103 \sqrt {-\left (x +\frac {d}{e}\right )^{2} e^{2}+2 d e \left (x +\frac {d}{e}\right )}}{2288 e^{5} d^{7} \left (x +\frac {d}{e}\right )^{6}}-\frac {665 \sqrt {-\left (x +\frac {d}{e}\right )^{2} e^{2}+2 d e \left (x +\frac {d}{e}\right )}}{5148 e^{4} d^{8} \left (x +\frac {d}{e}\right )^{5}}-\frac {86917 \sqrt {-\left (x +\frac {d}{e}\right )^{2} e^{2}+2 d e \left (x +\frac {d}{e}\right )}}{288288 e^{3} d^{9} \left (x +\frac {d}{e}\right )^{4}}-\frac {17417683 \sqrt {-\left (x +\frac {d}{e}\right )^{2} e^{2}+2 d e \left (x +\frac {d}{e}\right )}}{11531520 e \,d^{11} \left (x +\frac {d}{e}\right )^{2}}+\frac {59 \sqrt {-\left (x -\frac {d}{e}\right )^{2} e^{2}-2 d \left (x -\frac {d}{e}\right ) e}}{3840 e \,d^{11} \left (x -\frac {d}{e}\right )^{2}}-\frac {65075293 \sqrt {-\left (x +\frac {d}{e}\right )^{2} e^{2}+2 d e \left (x +\frac {d}{e}\right )}}{11531520 d^{12} \left (x +\frac {d}{e}\right )}-\frac {569 \sqrt {-\left (x -\frac {d}{e}\right )^{2} e^{2}-2 d \left (x -\frac {d}{e}\right ) e}}{3840 d^{12} \left (x -\frac {d}{e}\right )}+\frac {4 e \ln \left (\frac {2 d^{2}+2 \sqrt {d^{2}}\, \sqrt {-e^{2} x^{2}+d^{2}}}{x}\right )}{d^{11} \sqrt {d^{2}}}-\frac {\sqrt {-\left (x -\frac {d}{e}\right )^{2} e^{2}-2 d \left (x -\frac {d}{e}\right ) e}}{640 e^{2} d^{10} \left (x -\frac {d}{e}\right )^{3}}-\frac {1257577 \sqrt {-\left (x +\frac {d}{e}\right )^{2} e^{2}+2 d e \left (x +\frac {d}{e}\right )}}{1921920 e^{2} d^{10} \left (x +\frac {d}{e}\right )^{3}}\) | \(520\) |
default | \(\text {Expression too large to display}\) | \(1429\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 3.67, size = 425, normalized size = 1.57 \begin {gather*} -\frac {366136 \, x^{11} e^{11} + 1464544 \, d x^{10} e^{10} + 1098408 \, d^{2} x^{9} e^{9} - 2929088 \, d^{3} x^{8} e^{8} - 5125904 \, d^{4} x^{7} e^{7} + 5125904 \, d^{6} x^{5} e^{5} + 2929088 \, d^{7} x^{4} e^{4} - 1098408 \, d^{8} x^{3} e^{3} - 1464544 \, d^{9} x^{2} e^{2} - 366136 \, d^{10} x e + 180180 \, {\left (x^{11} e^{11} + 4 \, d x^{10} e^{10} + 3 \, d^{2} x^{9} e^{9} - 8 \, d^{3} x^{8} e^{8} - 14 \, d^{4} x^{7} e^{7} + 14 \, d^{6} x^{5} e^{5} + 8 \, d^{7} x^{4} e^{4} - 3 \, d^{8} x^{3} e^{3} - 4 \, d^{9} x^{2} e^{2} - d^{10} x e\right )} \log \left (-\frac {d - \sqrt {-x^{2} e^{2} + d^{2}}}{x}\right ) + {\left (305920 \, x^{10} e^{10} + 1043500 \, d x^{9} e^{9} + 350000 \, d^{2} x^{8} e^{8} - 2496180 \, d^{3} x^{7} e^{7} - 2748320 \, d^{4} x^{6} e^{6} + 1301264 \, d^{5} x^{5} e^{5} + 3157776 \, d^{6} x^{4} e^{4} + 700504 \, d^{7} x^{3} e^{3} - 1014094 \, d^{8} x^{2} e^{2} - 546316 \, d^{9} x e - 45045 \, d^{10}\right )} \sqrt {-x^{2} e^{2} + d^{2}}}{45045 \, {\left (d^{12} x^{11} e^{10} + 4 \, d^{13} x^{10} e^{9} + 3 \, d^{14} x^{9} e^{8} - 8 \, d^{15} x^{8} e^{7} - 14 \, d^{16} x^{7} e^{6} + 14 \, d^{18} x^{5} e^{4} + 8 \, d^{19} x^{4} e^{3} - 3 \, d^{20} x^{3} e^{2} - 4 \, d^{21} x^{2} e - d^{22} x\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{x^{2} \left (- \left (- d + e x\right ) \left (d + e x\right )\right )^{\frac {7}{2}} \left (d + e x\right )^{4}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {1}{x^2\,{\left (d^2-e^2\,x^2\right )}^{7/2}\,{\left (d+e\,x\right )}^4} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________